#!/bin/bash
#
# Infile is assumed to be a png-coded video with 1 fps.
# It is scaled to a given width and AR is preserved.
# Framerate is changed according to instruction.
#
# Usage:
# scaledGPSvid.bash infile new_framerate new_width outfile

ffmpeg -vcodec png -i $1 -r $2 -vf scale=$3:-1 -vcodec png $4
